Algebraic data type - PDFSEARCH.IO - Document Search Engine

Algebraic data type
Results: 119

#	Item
111	PolyAML: A Polymorphic Aspect-oriented Functional Programming Language Daniel S. Dantas Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2005-09-18 16:08:18 Type theory Data types Aspect-oriented software development Aspect-oriented programming Procedural programming languages Standard ML Type system Type inference Generalized algebraic data type Software engineering Computing Software development
112	Efficient Interpretation by Transforming Data Types and Patterns to Functions Jan Martin Jansen 1 , Pieter Koopman2 , Rinus Plasmeijer2 Add to Reading List Source URL: www.st.cs.ru.nl Language: English - Date: 2006-04-24 05:10:44 Data types Functional programming Higher-order functions Lambda calculus Type theory Fold Eval Algebraic data type Cons Software engineering Computing Computer programming
113	NULL Convention Logic™ Karl M. Fant, Scott A. Brandt Add to Reading List Source URL: users.soe.ucsc.edu Language: English - Date: 2006-10-18 16:55:14 Mathematics Algebraic logic Many-valued logic Null Asynchronous circuit Boolean data type Logic gate Four-valued logic Truth table Mathematical logic Electronic engineering Boolean algebra
114	Motivation Why OCaml? Add to Reading List Source URL: proglang.informatik.uni-freiburg.de Language: English - Date: 2013-09-25 09:49:13 Functional languages Data types Type theory Procedural programming languages Functional programming OCaml Algebraic data type Anonymous function Caml Software engineering Computing Computer programming
115	Report on a Proposed International Standard for a Common Algebraic Language for Digital Computers Add to Reading List Source URL: www.softwarepreservation.org Language: English - Date: 2012-01-18 19:28:14 Procedural programming languages ALGOL 58 C MAD Expression ALGOL 68 Fortran Boolean data type FALSE Computing Software engineering Computer programming
116	PDF Document Add to Reading List Source URL: kar.kent.ac.uk Language: English - Date: 2011-06-28 08:01:40 Functional programming Data types Type theory Functional languages Glasgow Haskell Compiler Haskell Generalized algebraic data type Code refactoring Yi Software engineering Computing Computer programming
117	PDF Document Add to Reading List Source URL: sites.google.com Language: English Software engineering Programming language theory Functional programming Type systems Program analysis Generalized algebraic data type Type inference Algebraic data type Algorithm Type theory Mathematics Data types
118	PDF Document Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-12-10 15:02:11 Computing Type system Generalized algebraic data type System F Type inference Lambda calculus ML Programming language Subtype polymorphism Type theory Software engineering Programming language theory
119	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2005-12-29 03:26:05 Software engineering Generalized algebraic data type Type system Type inference Entailment Type safety Natural deduction Symbol Type theory Logic Programming language theory

UPDATE